package tr.edu.ege.kipler.syntax.concept;


/**
 * The visitor interface that allows to visit the type of concept expressions we
 * have.
 * 
 * @author İnanç Seylan
 * 
 */
public interface ConceptVisitor {
	/**
	 * Visits the given atomic concept.
	 * @param c The atomic concept to visit
	 */
	void visitConceptName(ConceptName c);

	/**
	 * Visits the given concept expression formed by a binary constructor.
	 * @param bd The binary concept description to visit
	 */
	void visitBinaryConcept(BinaryConcept bd);

	/**
	 * Visits the given quantified restriction.
	 * @param restriction The quantified restriction to visit.
	 */
	void visitRoleQuantification(RoleQuantification restriction);
	
	void visitModalConcept(ModalConcept md);
	
	void visitQualifiedNoRestriction(QualifiedNoRestriction restriction);
	
	void visitNominal(Nominal nominal);
}
